КОШИ ТЕОРЕМА

- 1) К. т. о многогранниках: два замкнутых выпуклых многогранника конгруэнтны, если между их истинными гранями, ребрами и вершинами имеется сохраняющее инцидентность взаимно однозначное соответствие, причем соответствующие грани многогранников конгруэнтны. К. т.- первая теорема об однозначной определенности выпуклых поверхностей, поскольку многогранники, о к-рых идет речь в К. т., изометричны в смысле внутренней метрики. К. т. является частным случаем теоремы о том, что всякая замкнутая выпуклая поверхность однозначно определяется своей метрикой (см. [4]).

К. т. установлена О. Коши (см. [1]).

Лит.:[1]Cauchy A. L., "J. Ecole polytechn.", 1813, t. 9, p. 87-98; [2] А л е к с а н д р о в А. Д., Выпуклые многогранники, М.- Л., 1950; [3] А дам ар Ж., Элементарная геометрия, 3 изд., ч. 2, М., 1958; [4] Погорелов А. В., Однозначная определенность выпуклых поверхностей, М.- Л., 1949 (Тр. Матем. ин-та АН СССР, т. 29). Е. В. Шикин.

2) К. т. о промежуточных значениях непрерывной функции на отрезке: если функция f, значениями к-рой являются действительные числа, непрерывна на [a, b]и число Слежит между f(a) и f(b), то существует такая точка что В частности, если f(a) и f(b).имеют разные знаки, то существует такая точка , что В этой форме К. т. используют для выделения промежутков, в к-рых заведомо имеются нули рассматриваемой функции. Из К.т. следует, что образом промежутка числовой прямой при его непрерывном отображении в числовую прямую является также промежуток. К. т. допускает обобщение на топология, пространства: всякая непрерывная функция определенная на связном топологич. пространстве X( - множество действительных чисел), принимающая какие-либо два значения, принимает и любое лежащее между ними, поэтому образ пространства Xтакже промежуток числовой прямой.

К. т. была сформулирована независимо Б. Больцано (В. Bolzano, 1817) и О. Коши (A. Cauchy, 1821).

3) К. т. о среднем значении - обобщение формулы конечных приращений Лагранжа. Если функции fи g принимают действительные значения, непрерывны на [ а, b]и дифференцируемы на ( а, b), причем на (а, b), а потому то существует такая точка что

При получается формула конечных приращений Лагранжа. Геометрич. смысл К. т. состоит в том, что на всякой непрерывной кривой x=f(t), y=g(t). лежащей на плоскости хОу и имеющей в каждой точке (f(t). g(t)).касательную, есть точка в к-рой касательная параллельна хорде, соединяющей концы (f(a), g(a)) и(f(b), g(b)).рассматриваемой кривой.

Лит.:[1] Ильин В. А., П о з н я к Э. Г., Основы математического анализа, 3 изд., ч. 1, М., 1971; [2] Кудрявцев Л. Д., Математический анализ, 2 изд., т. 1, М., 1973; [3] Н и к о л ь с к и и С. М., Курс математического анализа, 2 изд., т. 1, М., 1975. Л. Д. Кудрявцев.

4) К. т. в теории групп: если порядок конечной группы Gделится на простое число р, то Gобладает элементами порядка р.

Теорема была доказана О. Коши (см. [1]) для групп подстановок.

Лит.:[1] С а и с h у A. L., в кн.: Exercices d'analyse et de physique mathematique, t. 3, P., 1844, p. 151-252; [2] К у-p о ш А. Г., Теория групп, 3 изд., М., 1967.